Sponzors DIMATIA Program committee Nikhil Bansal, IBM Watson Research Center Sanjoy Baruah, University of North Carolina

Source URL: iti.mff.cuni.cz

• Scheduling
• Operations research
• Mathematical optimization
• Planning
• Multiprocessor scheduling
• Flow shop scheduling
• Interval scheduling
• Schedule
• Online algorithm
• Aging
• Genetic algorithm
• David Shmoys

A Fast Pattern-Specific Routing for Fat Tree Networks BOGDAN PRISACARI, IBM Research GERMAN RODRIGUEZ, IBM Research CYRIEL MINKENBERG, IBM Research TORSTEN HOEFLER, ETH Zurich

Source URL: htor.inf.ethz.ch

RC23771 (W0511-023) November 4, 2005 Mathematics IBM Research Report An Algorithmic Framework for Convex Mixed Integer Nonlinear Programs

Source URL: egon.cheme.cmu.edu

Gregory Neven, IBM Research – Zurich Cryptography Summer School, July 21-24, 2014, Bucharest Digital signatures II © 2009 IBM Corporation

Source URL: www.cs.bris.ac.uk

Benchmarking SAT Solvers for Bounded Model Checking Emmanuel Zarpas IBM Haifa Research Laboratory, Abstract. Modern SAT solvers are highly dependent on heuristics.

Source URL: researchweb.watson.ibm.com

A Simple and Practical Algorithm for Differentially Private Data Release Moritz Hardt IBM Almaden Research San Jose, CA

Source URL: papers.nips.cc

Information Diffusion Through Blogspace∗ Daniel Gruhl IBM Almaden Research Center San Jose, CAUSA

Source URL: people.csail.mit.edu

Research Methods II Rhode Island College, Spring 2013 SectionTuesdays and Thursdays 10:00-11:50 AM Gaige 163

Source URL: www.ric.edu

• Knowledge
• Computing
• Software
• IBM software
• SPSS
• Coding
• Qualitative research
• Quantitative research
• Statistics

A Movie Streaming Application & ABC4Trust as Services in the Cloud Dr. Anja Lehmann IBM Research – Zurich

Source URL: abc4trust.eu

Software Security Research Group (SSRG), University of Ottawa In collaboration with IBM Solving Some Modeling Challenges when Testing Rich Internet Applications for Security

Source URL: www.spacios.eu